John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems

JOURNAL ARTICLE published August 2019 in Formal Aspects of Computing

Authors: Richard Banach

Editorial

JOURNAL ARTICLE published November 2011 in Formal Aspects of Computing

Authors: Ana Cavalcanti | Dennis Dams | Marie-Claude Gaudel

Editorial

JOURNAL ARTICLE published May 2012 in Formal Aspects of Computing

Authors: Jim Woodcock

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving

JOURNAL ARTICLE published June 2019 in Formal Aspects of Computing

Authors: Pedro Antonino | Thomas Gibson-Robinson | A. W. Roscoe

Code obfuscation against abstraction refinement attacks

JOURNAL ARTICLE published November 2018 in Formal Aspects of Computing

Authors: Roberto Bruni | Roberto Giacobazzi | Roberta Gori

Model-checking timed automata with deadlines with Uppaal

JOURNAL ARTICLE published March 2013 in Formal Aspects of Computing

Authors: Rodolfo Gómez

Deriving bisimulation relations from path based equivalence checkers

JOURNAL ARTICLE published March 2017 in Formal Aspects of Computing

Authors: Kunal Banerjee | Dipankar Sarkar | Chittaranjan Mandal

Threaded behavior protocols

JOURNAL ARTICLE published July 2013 in Formal Aspects of Computing

Authors: Tomáš Poch | Ondřej Šerý | František Plášil | Jan Kofroň

Sharing Analysis Based on Type Inference

JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing

Authors: Yasuhiko Minamide

Exploiting augmented intelligence in the modeling of safety-critical autonomous systems

JOURNAL ARTICLE published June 2021 in Formal Aspects of Computing

Research funded by National Natural Science Foundation of China (62072233) | Fundamental Research Funds for the Central Universities (NP2017205) | Aviation Science Fund of China (201919052002)

Authors: Zhibin Yang | Yang Bao | Yongqiang Yang | Zhiqiu Huang | Jean-Paul Bodeveix | Mamoun Filali | Zonghua Gu

An elementary theory of product-line variations

JOURNAL ARTICLE published July 2014 in Formal Aspects of Computing

Authors: Prahladavaradan Sampath

Command algebras, recursion and program transformation

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

Authors: Wim H. Hesselink

Book reviews

JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing

Authors: Brian Monahan

A refinement calculus for specifications in Hennessy-Milner logic with recursion

JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing

Authors: Sören Holmström

Term rewriting and beyond — theorem proving in Isabelle

JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing

Authors: Tobias Nipkow

Meta-interpreters and partial evaluation in Parlog

JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing

Authors: Matthew Huntbach

Issues in the design of a parallel object-oriented language

JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing

Authors: Pierre America

Modelling multiple inheritance with colimits

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

Authors: Huimin Lin | Man-Chi Pong

Defining, analysing and implementing communication protocols using attribute grammars

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

Authors: N. P. Chapman

Finite Integer Computations: An Algebraic Foundation for Their Correctness

JOURNAL ARTICLE published June 2006 in Formal Aspects of Computing

Authors: Sabine Glesner